Strictly declarative specification of sophisticated points-to analyses

Declarative Specification of Software Architectures

Scaling formal methods to large, complex systems requires methods of modeling systems at high levels of abstraction. In this paper, we describe such a method for specifying system requirements at the software architecture level. An architecture represents a way of breaking down a system into a set of interconnected components. We use ar chitecture theories to specify the behavior of a system in...

On Fixed Points of Strictly Causal Functions

We ask whether strictly causal components form well defined systems when arranged in feedback configurations. The standard interpretation for such configurations induces a fixed-point constraint on the function modelling the component involved. We define strictly causal functions formally, and show that the corresponding fixed-point problem does not always have a well defined solution. We exami...

Declarative Specification of FSM-Inference Algorithms

Declarative Specification and Verification of Service Choreographies

Service oriented computing, an emerging paradigm for architecting and implementing business collaborations within and across organizational boundaries, is currently of interest to both software vendors and scientists. While the technologies for implementing and interconnecting basic services are reaching a good level of maturity, modeling service interaction from a global viewpoint, i.e., repre...

Declarative Specification of Domain Specific Visual Languages

Nowadays, the model based development paradigm has gained considerable acceptance within the software development industry. This paradigm begins the development process with a precise modeling step, usually based on UML. Application source code is generated from these models using automated code generation technology. Industrial experience with model driven development shows that UML’s general ...